Oxford University Computing Laboratory - PDFSEARCH.IO - Document Search Engine

Oxford University Computing Laboratory
Results: 135

#	Item
21	A Comparison of Query Rewriting Techniques for DL-Lite H´ector P´erez-Urbina, Boris Motik, and Ian Horrocks Oxford University Computing Laboratory Oxford, England {hector.perez-urbina,boris.motik,ian.horrocks}@comlab.o Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
22	Exploiting Partial Information in Taxonomy Construction Rob Shearer, Ian Horrocks and Boris Motik Oxford University Computing Laboratory, Oxford, UK 1 Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
23	Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Optimized DL Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, U Add to Reading List Source URL: ceur-ws.org - Date: 2010-04-20 14:40:19
24	Consequence-Driven Reasoning for Horn SHIQ Ontologies Yevgeny Kazakov Oxford University Computing Laboratory 1 Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
25	An Extension of Regularity Conditions for Complex Role Inclusion Axioms Yevgeny Kazakov Oxford University Computing Laboratory 1 Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
26	A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation Thomas Lukasiewicz1,3 and Azzurra Ragone2 1 Computing Laboratory, University of Oxford Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
27	Importing Ontologies with Hidden Content Bernardo Cuenca Grau and Boris Motik Computing Laboratory University of Oxford, UK 1 Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
28	Compiling occam into Field-Programmable Gate Arrays Ian Page and Wayne Luk Programming Research Group, Oxford University Computing Laboratory, 11 Keble Road, Oxford England OX1 3QD Abstract Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2001-04-04 21:59:10
29	Strengthening Induction-Based Race Checking with Lightweight Static Analysis ? Alastair F. Donaldson, Leopold Haller, and Daniel Kroening Oxford University Computing Laboratory, Oxford, UK Abstract. Direct Memory Access Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2012-08-31 08:16:46
30	High throughput functional curation of cellular electrophysiology models Jonathan Coopera,∗, Gary R. Miramsb,1 , Steven A. Niedererc a Oxford University Computing Laboratory, University of Oxford, Oxford, UK Add to Reading List Source URL: www.cs.ox.ac.uk - Date: 2011-06-13 04:50:29

UPDATE